Law of sines in right triangle